%\usepackage[latin1]{inputenc}
\usepackage[T1]{fontenc}

\usepackage[english]{babel}
\usepackage{xspace}
\usepackage{float}
\usepackage{amstext, amssymb, amsfonts, amsmath}
\usepackage{latexsym}
\usepackage{stmaryrd}
\usepackage{float}
\usepackage{graphicx}
%\usepackage{setspace}
\usepackage{enumerate}
\usepackage{times}
\usepackage{mathpartir}
\usepackage{color}
\usepackage{myproof}
\usepackage{url}


\pagestyle{plain}

\newtheorem{mynotation}{Convention}%[theorem]
